digraph A2 {
	Q1->Q2 [LABEL="c"]
	Q1->Q1 [LABEL="b"]
	Q2->Q1 [LABEL="a"]
	Q2->Q1 [LABEL="b"]
	Q2->Q1 [LABEL="c"]
	Q2->t2 [LABEL="bianco"]
	[initial={Q1}]
	[final={Q1}]
}
	